Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
431	Corecursion in Session-Typed Processes Bernardo Toninho∗† , Lu´ıs Caires∗ and Frank Pfenning† ∗ CITI and FCT - Universidade Nova de Lisboa † Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:17:30 Theoretical computer science Computability theory Recursion Type theory Deduction Function Interpretation Entailment Curry–Howard correspondence Logic Mathematics Mathematical logic
432	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2013-01-31 10:36:00 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
433	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
434	Brief curriculum vitae Name: Manuel Lameiras de Figueiredo Campagnolo Place and date of birth: Alcobaca, November 8, 1965 Nationalities: Portuguese and French Institutional address: Instituto Superior de Agronomia, Tapa Add to Reading List Source URL: www.medfor.eu Language: English - Date: 2011-08-02 14:35:00 Mathematics Algorithm Mathematical logic Theoretical computer science Instituto Superior de Agronomia Computable function Applied mathematics Instituto Superior Técnico Isa Technical University of Lisbon Theory of computation Computability theory
435	DIRECT LINKS TO ELECTRONIC JOURNALS ABSTRACT AND APPLIED ANALYSIS Online from 1996 to most current issue Distribution: 1 issue annually http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&page=past&handle= Add to Reading List Source URL: www.math.tulane.edu Language: English - Date: 2011-01-03 15:06:16 ACM Transactions on Programming Languages and Systems Mass media Academic publishing Computability logic Publishing American Mathematical Monthly Annals of Applied Probability
436	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation
437	MODELING AND QUERYING RECURSIVE DATA STRUCTURES II: A SEMANTIC APPROACH J.H. ter Bekke and J.A. Bakker Delft University of Technology Faculty of Information Technology and Systems e-mail: {J.H.terBekke, J.A.Bakker}@its.t Add to Reading List Source URL: www.kbs.twi.tudelft.nl Language: English - Date: 2004-04-08 04:47:10 Data modeling Programming idioms Mathematical logic Theoretical computer science Computability theory Recursion Recursive data type EXPRESS SQL Computing Computer programming Software engineering
438	Physically Scalable Computation - an axiomatic approach Steven Lindell, Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:12 Theory of computation Computability theory Models of computation Algorithm Mathematical logic Random access machine Analysis of algorithms Computational complexity theory Computability Theoretical computer science Applied mathematics Computer science
439	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
440	Set Theory for Veriﬁcation: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:52 Theory of computation Functions and mappings Order theory Models of computation Knaster–Tarski theorem Function Well-founded relation Lambda calculus Constructible universe Mathematics Mathematical logic Computability theory

UPDATE